#ifndef __DEVICE_CONSOLE_H__
#define __DEVICE_CONSOLE_H__

#include <stdarg.h>
#include <stdint.h>

void m_kprintf(const char *fmt, ...);



#endif
